transition:
t0-a-t1;
t0-c-t1;
t1-b-t0;
initial:
t0;
final:
t0.